(rv32) Basic mmu doc
satp
Register satp points to the active external table
(if the mode bit is one, that is).
The external table must be page aligned.
Page Table Entry
The relation between the X, W, and R bits is
somewhat non-trivial.
For our purpose it is enough to assume
in the external table the three bits are zeros
and in the internal table all the bits are ones.
(If in the external table not all the three bits are
zeros then we are in the realm of 4MB pages.)
Virtual Address
The virtual address is considered to have three
fields as follows.
References
The information here was compiled from the following
document.
-
The RISC-V Instruction Set Manual
Volume II: Privileged Architecture.
